Checking in cell death

Model Checking Birth and Death

This paper proposes Allocational Temporal Logic (A``TL) as a formalism to express properties concerning the dynamic allocation (birth) and de-allocation (death) of entities, such as the objects in an object-based system. The logic is interpreted on History-Dependent Automata, extended with a symbolic representation for certain cases of unbounded allocation. The paper also presents a simple impe...

Checking Life-and Death Problems in Go

Different cell death types determination in juvenile mice ovarian follicles

Follicular atresia is a phenomenon that leads to evacuation of the ovary from the oocytes and the occurrence of menopause. The contribution of various types of cell death in atresia at different follicular developmental stages requires extensive investigation. In this study, we evaluated 3 types of programmed </...

Coxsackievirus B3 protease 3C induces cell death in eukaryotic cells

Abstract: Coxsackievirus B3 (CVB3) is the most common agent known to cause viral myocarditis. The viral genome encodes a single polyprotein that is cleaved to produce several proteins by virally encoded proteases. Most of this proteolytic processing is catalyzed by a cysteine protease called 3C. The 3C protease plays major role in viral replication and cellular damage. To understand the mecha...

Cell death induction by Streptococcus pyogenes in four types of malignant cell lines

  Abstract   Background: The interest in using bacteria as anti- cancer therapeutic agents dates back to the end of the19th century. Some bacteria like Salmonella and Listeria replicate effectively inside malignant cell lines and suppress their growth. The bacterium Streptococcus pyogenes has become medically famous as a flesh-eating pathogen since mid-1980s. It is the causative agent of a life...